// "Generate overloaded constructor with default parameter values" "true"
record Test(int x) {
    Test() {
        this(0);
    }

    public Test {
    
  } 
}